Feeds to Scour
SubscribedAll
Scoured 9587 posts in 1.94 s
Think Your Python Code Is Slow? Stop Guessing and Start Measuring
towardsdatascience.com·1d
👁️System Observability
Preview
Report Post
The Compiler Is Your Best Friend, Stop Lying to It
blog.daniel-beskin.com·2d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·9h
✅Formal Methods
Preview
Report Post
ZJIT is now available in Ruby 4.0
bernsteinbear.com·3d
🏗️Compiler Archaeology
Preview
Report Post
Your Team Uses AI. Why Aren't You 10x Faster?
bits.logic.inc·1h·
Discuss: Hacker News
📏Code Metrics
Preview
Report Post
The Complete Guide to Streaming LLM Responses in Web Applications: From SSE to Real-Time UI
dev.to·19h·
Discuss: DEV
🌊Streaming Systems
Preview
Report Post
Show HN: AgentCmds – A directory of slash commands for AI agents
agentcmds.work·10h·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post
Training a Model on Multiple GPUs with Data Parallelism
machinelearningmastery.com·1d
⚡Parallel Computing
Preview
Report Post
Devops Testing: Ensuring Quality In A Continuous Delivery World
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
⚔️Lean Tactics
Preview
Report Post
9 Go Techniques That Make Your Code Fast and Elegant
dev.to·2d·
Discuss: DEV
⬆️Lambda Lifting
Preview
Report Post
Real Time Detection and Quantitative Analysis of Spurious Forgetting in Continual Learning
arxiv.org·2d
💻Local LLMs
Preview
Report Post
CogitatorTech/minish: A property-based testing framework for Zig ⚡
github.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏛️Agda
Preview
Report Post
Keep AI on Track: A Practical, Repeatable Collaboration Playbook (with Templates)
privydrop.app·1d·
Discuss: Hacker News
👑Isabelle
Preview
Report Post
Introduction
learnix-os.com·1d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
Redis Threading Model: Debunking the Single-Threaded Myth
redis.io·2d·
Discuss: DEV
⚡Redis Internals
Preview
Report Post
Building my first open-source project with AI (and what I learned)
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Preview
Report Post
Ruby 4.0 Released With Ruby Box Isolation and New ZJIT Compiler
linuxiac.com·2d
🔗Static Linking
Preview
Report Post
Recaf – A Java Bytecode Editor
recaf.coley.software·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post